Formal Engineering of Resilient Systems: Achievements and Challenges
نویسندگان
چکیده
In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU Deploy project. We discuss our experience and open issues. Keywords-resilience; formal modelling; Event-B
منابع مشابه
Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements
Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process. In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project. We outline our approaches to integ...
متن کاملEngineering Resilient Systems : Models , Methods and Tools
Software-intensive systems are becoming widely used in such critical infrastructures as railway, airand road traffic, power management, health care and banking. In spite of drastically increased complexity and need to operate in unpredictable volatile environment, high dependability remains a must for such systems. Resilience – the ability to deliver services that can be justifiably trusted des...
متن کاملResilient operation scheduling of microgrid using stochastic programming considering demand response and electrical vehicles
Resilient operation of microgrid is an important concept in modern power system. Its goal is to anticipate and limit the risks, and provide appropriate and continuous services under changing conditions. There are many factors that cause the operation mode of micogrid changes between island and grid-connected modes. On the other hand, nowadays, electric vehicles (EVs) are desirable energy storag...
متن کاملResilient Supplier Selection in a Supply Chain by a New Interval-Valued Fuzzy Group Decision Model Based on Possibilistic Statistical Concepts
Supplier selection is one the main concern in the context of supply chain networks by considering their global and competitive features. Resilient supplier selection as generally new idea has not been addressed properly in the literature under uncertain conditions. Therefore, in this paper, a new multi-criteria group decision-making (MCGDM) model is introduced with interval-valued fuzzy sets (I...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کامل